Fast Discovery of Reliable k-terminal Subgraphs

Peer reviewe

Context-Free Path Queries on RDF Graphs

Navigational graph queries are an important class of queries that canextract implicit binary relations over the nodes of input graphs. Most of the navigational query languages used in the RDF community, e.g. property paths in W3C SPARQL 1.1 and nested regular expressions in nSPARQL, are based on the regular expressions. It is known that regular expressions have limited expressivity; for instance, some natural queries, like same generation-queries, are not expressible with regular expressions. To overcome this limitation, in this paper, we present cfSPARQL, an extension of SPARQL query language equipped with context-free grammars. The cfSPARQL language is strictly more expressive than property paths and nested expressions. The additional expressivity can be used for modelling graph similarities, graph summarization and ontology alignment. Despite the increasing expressivity, we show that cfSPARQL still enjoys a low computational complexity and can be evaluated efficiently.Comment: 25 page

Variable Compression in ProbLog

In order to compute the probability of a query, ProbLog represents the proofs of the query as disjunctions of conjunctions, for which a Reduced Ordered Binary Decision Diagram (ROBDD) is computed. The paper identifies patterns of Boolean variables that occur in Boolean formulae, namely AND-clusters and OR-clusters. Our method compresses the variables in these clusters and thus reduces the size of ROBDDs without affecting the probability. We give a polynomial algorithm that detects AND-clusters in disjunctive normal form (DNF) Boolean formulae, or OR-clusters in conjunctive normal form (CNF) Boolean formulae. We do an experimental evaluation of the effects of AND-cluster compression for a real application of ProbLog. With our prototype implementation we have a significant improvement in performance (up to 87%) for the generation of ROBDDs. Moreover, compressing AND-clusters of Boolean variables in the DNFs makes it feasible to deal with ProbLog queries that give rise to larger DNFs.acceptance rate: 38%status: publishe

Data mining applied to linkage disequilibrium mapping

Peer reviewe

Use of private gynaecologist does not relate to better prevention outcomes – An ecological analysis from Finland

BACKGROUND: Control of reproduction and prevention of reproductive health problems are important reasons for women to use health services, but the proper organisational level of service provision is not clear. The purpose of this study was to investigate whether visits to private gynaecologists correlate with better health outcomes and worse participation in organised screening for cancer programs. METHODS: This is an ecological analysis using municipalities and groups of women at 5-year age intervals within municipalities as study units. First, the Finnish municipalities (n = 452) were classified into three groups by the age-adjusted level of use of private gynaecologists. Secondly, each age group within municipalities was classified into tertiles by the level of private gynaecologist use. The outcomes were participation in cervical and organised breast cancer screening for cancer programmes, stage of gynaecological and breast cancers at diagnosis, and abortion rates and ratios. All data were obtained from national registers by groups at 5-year age intervals and by municipality. Raw and adjusted (age groups, and in some analyses, municipality social class index) odds ratios, total and by urbanity, were calculated. RESULTS: The proportions of women participating in cervical cancer and organised breast cancer screening for cancer were somewhat higher in the groups having a low use of private gynaecologists. The proportions of local cancers of all cervical, uterine, ovarian and breast cancers were similar in the three groups, even though the first analysis method suggested somewhat better results for the low-use group in case of cervical cancer and for the high-use group in case of uterine and breast cancer. The rates of induced abortion were higher in municipalities having a high use of private gynaecologists than in those having lower use. CONCLUSION: This ecological analysis suggests that frequent use of private gynaecologists relates somewhat to lower organised screening for cancer participation, and is not better in preventing abortions or in detecting cancer earlier. Our results suggest that a planned system relying mainly on general practitioners and public health nurses as the first line care providers is equally good for women's reproductive health as that in which specialists are used

Main outcomes of the Phebus FPT1 uncertainty and sensitivity analysis in the EU-MUSA project

The Management and Uncertainties of Severe Accidents (MUSA) project was funded in HORIZON 2020 and is coordinated by CIEMAT (Spain). The project aims at consolidating a harmonized approach for the analysis of uncertainties and sensitivities associated with Severe Accidents (SAs) analysis, focusing on source term figures of merit. The Application of Uncertainty Quantification (UQ) Methods against Integral Experiments (AUQMIE – Work Package 4 (WP4)), led by ENEA (Italy), was devoted to apply and test UQ methodologies adopting the internationally recognized PHEBUS FPT1 test. FPT1 was chosen to test UQ methodologies because, even though it is a simplified SA scenario, it was representative of the in-vessel phase of a severe accident initiated by a break in the cold leg of a PWR primary circuit. WP4 served as a platform to identify and discuss the issues encountered in the application of UQ methodol ogies to SA analyses (e.g. discuss the UQ methodology, perform the coupling between the SA codes and the UQ tools, define the results post-processing methods, etc.). The purpose of this paper is to describe the MUSA PHEBUS FPT1 uncertainty application exercise with the related specifications and the methodologies used by the partners to perform the UQ exercise. The main outcomes and lessons learned of the analysis are: scripting was in general needed for the SA code and uncertainty tool coupling and to have more flexibility; particular attention should be devoted to the proper choice of the input uncertain parameters; outlier values of figures of merit should be carefully analyzed; the computational time is a key element to perform UQ in SA; the large number of uncertain input parameters may complicate the interpretation of correlation or sensitivity analysis; there is the need for a statistically solid handling of failed calculations

First outcomes from the PHEBUS FPT1 uncertainty application done in the EU MUSA project

The Management and Uncertainties of Severe Accidents (MUSA) project, founded in HORIZON 2020 and coordinated by CIEMAT (Spain), aims to consolidate a harmonized approach for the analysis of uncertainties and sensitivities associated with Severe Accidents (SAs) by focusing on Source Term (ST) Figure of Merits (FOM). In this framework, among the 7 MUSA WPs the Application of Uncertainty Quantification (UQ) Methods against Integral Experiments (AUQMIE – Work Package 4 (WP4)), led by ENEA (Italy), looked at applying and testing UQ methodologies, against the internationally recognized PHEBUS FPT1 test. Considering that FPT1 is a simplified but representative SA scenario, the main target of the WP4 is to train project partners to perform UQ for SA analyses. WP4 is also a collaborative platform for highlighting and discussing results and issues arising from the application of UQ methodologies, already used for design basis accidents, and in MUSA for SA analyses. As a consequence, WP4 application creates the technical background useful for the full plant and spent fuel pool applications planned along the MUSA project, and it also gives a first contribution for MUSA best practices and lessons learned. 16 partners from different world regions are involved in the WP4 activities. The purpose of this paper is to describe the MUSA PHEBUS FPT1 uncertainty application exercise, the methodologies used by the partners to perform the UQ exercise, and the first insights coming out from the calculation phase

The emergence and current performance of a health research system: lessons from Guinea Bissau

<p>Abstract</p> <p>Background</p> <p>Little is known about how health research systems (HRS) in low-income countries emerge and evolve over time, and how this process relates to their performance. Understanding how HRSs emerge is important for the development of well functioning National Health Research Systems (NHRS). The aim of this study was to assess how the HRS in Guinea Bissau has emerged and evolved over time and how the present system functions.</p> <p>Methods</p> <p>We used a qualitative case-study methodology to explore the emergence and current performance of the HRS, using the NHRS framework. We reviewed documents and carried out 39 in-depth interviews, ranging from health research to policy and practice stakeholders. Using an iterative approach, we undertook a thematic analysis of the data.</p> <p>Results</p> <p>The research practices in Guinea Bissau led to the emergence of a HRS with both local and international links and strong dependencies on international partners and donors. The post-colonial, volatile and resource-dependent context, changes in donor policies, training of local researchers and nature of the research findings influenced how the HRS evolved. Research priorities have mostly been set by 'expatriate' researchers and focused on understanding and reducing child mortality. Research funding is almost exclusively provided by foreign donors and international agencies. The training of Guinean researchers started in the mid-nineties and has since reinforced the links with the health system, broadened the research agenda and enhanced local use of research. While some studies have made an important contribution to global health, the use of research within Guinea Bissau has been constrained by the weak and donor dependent health system, volatile government, top-down policies of international agencies, and the controversial nature of some of the research findings.</p> <p>Conclusions</p> <p>In Guinea Bissau a de facto 'system' of research has emerged through research practices and co-evolving national and international research and development dynamics. If the aim of research is to contribute to local decision making, it is essential to modulate the emerged system by setting national research priorities, aligning funding, building national research capacity and linking research to decision making processes. Donors and international agencies can contribute to this process by coordinating their efforts and aligning to national priorities.</p